Sporto terminų žodynas. T. 1. 2-asis patais. ir papild. leid.: Aiškinamasis žodynas. Angliški, vokiški, rusiški terminų atitikmenys. Būtiniausios žinios. 2002.
Inductive logic programming — (ILP) is a subfield of machine learning which uses logic programming as a uniform representation for examples, background knowledge and hypotheses. Given an encoding of the known background knowledge and a set of examples represented as a logical … Wikipedia
Inductive bias — The inductive bias of a learning algorithm is the set of assumptions that the learner uses to predict outputs given inputs that it has not encountered (Mitchell, 1980).In machine learning, one aims to construct algorithms that are able to learn… … Wikipedia
Inductive reasoning — Induction or inductive reasoning, sometimes called inductive logic, is the process of reasoning in which the premises of an argument are believed to support the conclusion but do not entail it; i.e. they do not ensure its truth. Induction is a… … Wikipedia
Inductive inference — This article is about the mathematical concept, for inductive inference in logic, see Inductive reasoning. Around 1960, Ray Solomonoff founded the theory of universal inductive inference, the theory of prediction based on observations; for… … Wikipedia
inductive — induction, inductive The inverse of deduction . Induction begins from particular observations from which empirical generalizations are made. These generalizations then form the basis for theory building. So called analytic induction is common in… … Dictionary of sociology
inductive reasoning — Synonyms and related words: Baconian method, a fortiori reasoning, a posteriori reasoning, a priori reasoning, analysis, deduction, deductive reasoning, demonstration, discourse, discourse of reason, discursive reason, epagoge, generalization,… … Moby Thesaurus
Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… … Wikipedia
Cauchy's theorem (group theory) — Cauchy s theorem is a theorem in the mathematics of group theory, named after Augustin Louis Cauchy. It states that if G is a finite group and p is a prime number dividing the order of G (the number of elements in G ), then G contains an element… … Wikipedia
Rippling — [Rippling: Meta Level Guidance for Mathematical Reasoning, Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland,Cambridge University Press, 2005. ISBN 052183449X] refers to a group of meta level heuristics, developed primarily in the… … Wikipedia
IP (complexity) — In computational complexity theory, the class IP is the class of problems solvable by an interactive proof system. The concept of an interactive proof system was first introduced by Goldwasser, et al. in 1985. An interactive proof system consists … Wikipedia
